mathematical semantics
英 [ˌmæθəˈmætɪkl sɪˈmæntɪks]
美 [ˌmæθəˈmætɪkl sɪˈmæntɪks]
网络 数学语义学
双语例句
- They often focused on complex mathematical theories ( such as the Pi-Calculus) without ever validating if these theory's semantics would actually be enough to support a business process execution.
他们经常关注复杂的数学理论（如Pi-Calculus），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。 - Following and being based on the mathematical foundation of the combinatory logic this paper discusses once more the semantics of the functional programming ( FP) language.
本文继文献（1）之后，在合成逻辑这一数学基础上，再次探讨函数式程序设计（FP）语言的语义学。 - Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.
本文提出以合成逻辑（Combinatorylogic）作为程序设计语言语义学的数学基础。 - Different dimension constraint modes are de tailed. Third, a generic mathematical model of size tolerance is deduced based on mathematical definition systematically which can interpret the semantics of size tolerance exactly and completely.
从公差的数学定义出发，系统地推导了广义的尺寸公差数学模型，准确完整地表示出了尺寸公差的语义。 - As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。 - In dealing with the question of natural language significance, Barwise, who founded the theory of situation semantics, widely employed mathematical and logical methods, and made situation semantics become a highly formalized semantic theory.
情境语义学理论的创始人巴威斯在处理自然语言意义问题时，广泛地使用了数学和逻辑的方法，使得情境语义学成为一门高度形式化的语义理论。